upper boundedness principle

上有界原理